It covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March ...
Lire la suite